home *** CD-ROM | disk | FTP | other *** search
/ Internet Surfer 2.0 / Internet Surfer 2.0 (Wayzata Technology) (1996).iso / pc / textfile / faqs / ai_faq / part3 < prev   
Encoding:
Internet Message Format  |  1992-12-26  |  35.3 KB
  1. Xref: bloom-picayune.mit.edu comp.ai:14854 news.answers:4558
  2. Path: bloom-picayune.mit.edu!enterpoop.mit.edu!usc!zaphod.mps.ohio-state.edu!swrinde!emory!ogicse!das-news.harvard.edu!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!mkant
  3. From: mkant+@cs.cmu.edu (Mark Kantrowitz)
  4. Newsgroups: comp.ai,news.answers
  5. Subject: FAQ: Artificial Intelligence FTP Resources 3/3 [Monthly posting]
  6. Summary: FTP Resources for AI
  7. Message-ID: <ai-faq-3.text_724233756@cs.cmu.edu>
  8. Date: 13 Dec 92 08:03:49 GMT
  9. Article-I.D.: cs.ai-faq-3.text_724233756
  10. Expires: Tue, 26 Jan 1993 08:02:36 GMT
  11. Sender: news@cs.cmu.edu (Usenet News System)
  12. Reply-To: mkant+ai-faq@cs.cmu.edu
  13. Followup-To: poster
  14. Organization: School of Computer Science, Carnegie Mellon University
  15. Lines: 814
  16. Approved: news-answers-request@MIT.Edu
  17. Supersedes: <ai-faq-3.text_721641745@cs.cmu.edu>
  18. Nntp-Posting-Host: a.gp.cs.cmu.edu
  19.  
  20. Archive-name: ai-faq/part3
  21. Last-Modified: Thu Oct 15 22:35:01 1992 by Mark Kantrowitz
  22. Version: 1.2
  23.  
  24. ;;; ****************************************************************
  25. ;;; Answers to Questions about Artificial Intelligence *************
  26. ;;; ****************************************************************
  27. ;;; Written by Mark Kantrowitz
  28. ;;; Thu Oct 15 22:30:13 1992 by Mark Kantrowitz <mkant@GLINDA.OZ.CS.CMU.EDU>
  29. ;;; ai-faq-3.text -- 949 bytes
  30.  
  31. If you think of questions that are appropriate for this FAQ, or would
  32. like to improve an answer, please send email to mkant+ai-faq@cs.cmu.edu.
  33.  
  34. Part 3 (FTP Resources):
  35.   [3-0]  General Information about FTP Resources for AI
  36.   [3-1]  FTP Repositories
  37.   [3-2]  FTP and Other Resources
  38.   [3-3]  AI Bibliographies available by FTP
  39.   [3-4]  AI Technical Reports available by FTP
  40.  
  41. Search for [#] to get to question number # quickly.
  42.  
  43. ----------------------------------------------------------------
  44. Subject: [3-0]  General Information about FTP Resources for AI
  45.  
  46. In general, see the Lisp FAQ for Lisp-related software and the Prolog
  47. Resource Guide and the Prolog FAQ for Prolog-related software. If a
  48. Lisp-based or Prolog-based system is listed here, only the ftp site
  49. and directory will be listed; for a more detailed description, see the
  50. Lisp FAQ and the Prolog Resource Guide. For information on obtaining
  51. the Lisp FAQ or the Prolog Resource Guide see [1-0].
  52.  
  53. ----------------------------------------------------------------
  54. Subject: [3-1]  FTP Repositories
  55.  
  56.    Ada Repository:
  57.  
  58.       The Ada Repository on wsmr-simtel20.army.mil (mailing list
  59.       ada-sw@wsmr-simtel20.army.mil) contains a directory of AI programs in
  60.       PD2:<ADA.AI>*.*. A somewhat easier to access copy of the archives is
  61.       available as wuarchive.wustl.edu:/mirrors/ada/ai.
  62.  
  63.    UCLA Artificial Life Depository:
  64.  
  65.       ftp.cognet.ucla.edu (128.97.50.19):~ftp/pub/alife
  66.  
  67.       Repository of papers, articles, tech reports, software and other items of
  68.       interest to Artificial Life researchers. It includes an archive of
  69.       past postings to the alife mailing list, alife@cognet.ucla.edu (send
  70.       mail to alife-request@cognet.ucla.edu to be added to the list).
  71.  
  72.       (Other artificial life information is available from santafe.edu
  73.        in the directory pub/Artificial-Life-III.)
  74.  
  75.    Consortium for Lexical Research:
  76.       clr.nmsu.edu [128.123.1.12]
  77.       equivalently, lexical.nmsu.edu [128.123.1.12]
  78.  
  79.       Archive containing a variety of programs and data files related to
  80.       natural language processing research, with a particular focus on
  81.       lexical research.  See the file catalog-short for a quick listing of
  82.       the contents of the archive. Long descriptions are in the info/
  83.       subdirectory. Publicly available materials are in the pub/
  84.       subdirectory. Materials for paid-up members of the Consortium are in
  85.       the members-only/ subdirectory.  Public materials include the Alvey
  86.       Natural Language Tools, Sowa's Conceptual Graph parser implemented in
  87.       YACC by Maurice Pagnucco, a morphological parsing lexicon of English,
  88.       a phonological rule compiler for PC-KIMMO, C source code for the NIST
  89.       SGML parser, PC-KIMMO sources, the 1911 Roget Thesaurus, and a variety
  90.       of word lists (including English, Dutch, and male/female/last names).
  91.       Comments and questions may be directed to lexical@nmsu.edu.
  92.  
  93.    Fuzzy Logic Repositories:
  94.  
  95.       ntia.its.bldrdoc.gov:pub/fuzzy contains information concerning fuzzy
  96.       logic, including bibliographies (bib/), product descriptions and demo
  97.       versions (com/), machine readable published papers (lit/),
  98.       miscellaneous information, documents and reports (txt/), and programs,
  99.       code and compilers (prog/). You may download new items into the new/
  100.       subdirectory. If you deposit anything in new/, please inform
  101.       fuzzy@its.bldrdoc.gov. The repository is maintained by Timothy Butler,
  102.       tim@its.bldrdoc.gov. The Fuzzy Logic Repository is also accessible
  103.       through a mail server, rnalib@its.bldrdoc.gov. For help on using the
  104.       server, send mail to the server with the following line in the body
  105.       of the message:
  106.     @@ help
  107.       Other commands available include index, list, find, send, and credits.
  108.  
  109.       Ostfold Regional College in Norway recently started a ftp site
  110.       for material related to fuzzy logic, ftp.dhhalden.no:fuzzy/.
  111.       Material to be included in the archive (e.g., papers and code)
  112.       may be placed in the upload/ directory. Now holds the files from
  113.       Togai's mail-server, and other files from Timothy Butler's site
  114.       ntia.its.bldrdoc.gov. It also includes some demo programs. Send
  115.       email to Asgeir Osterhus, <asgeiro@dhhalden.no>.  
  116.  
  117.       Togai InfraLogic, Inc. (TIL) also runs a fuzzy logic email server
  118.       which contains demo versions of some of their software, fuzzy logic
  119.       bibliographies, conference announcements, a short introduction to
  120.       fuzzy logic, copies of the company newsletter, and so on. See the
  121.       entry in the answer to question [1-8] for more information on the
  122.       company. To get started with the fuzzy logic email server, send a
  123.       message with NO SUBJECT LINE to fuzzy-server@til.com, containing just
  124.       the word "help" in the message body.  The server will reply with a set
  125.       of instructions.  Please address any comments, questions or requests
  126.       to either erik@til.com or tanaka@til.com. Most of the contents of the
  127.       TIL server is mirrored at Tim Butler's fuzzy logic ftp repository at
  128.       ntia.its.bldrdoc.gov and at Ostfold ftp repository at ftp.dhhalden.no.
  129.  
  130.    UC/Irvine AI/Machine Learning Repository:
  131.  
  132.       ics.uci.edu has a variety of AI-related materials, with a special
  133.       focus on machine learning. The directory /pub/machine-learning-databases
  134.       contains over 80 benchmark data sets for classifier systems (30mb).
  135.  
  136.       Site Librarian: Patrick M. Murphy (ml-repository@ics.uci.edu)
  137.       Off-Site Assistant: David W. Aha (aha@insight.cs.jhu.edu)
  138.  
  139.    Machine Learning:
  140.  
  141.       Various programs (e.g., ID3) and publications related to machine
  142.       learning are available by anonymous ftp from the machine
  143.       learning group (under Raymond Mooney) at UT-Austin, at
  144.      cs.utexas.edu:pub/mooney.  
  145.       Subdirectories include 
  146.      ml-course    information and homeworks from a graduate course
  147.             in machine learning taught by Dr. Mooney. Homeworks
  148.             include "miniatures" of various machine learning
  149.             systems written in Common Lisp.
  150.      ml-code    Common Lisp code corresponding to the assignments
  151.             for the course in the ml-course directory.
  152.      ml-progs    More "research-level" versions of inductive
  153.             classification algorithms and software for automated
  154.             experiments that generation learning curves that
  155.             compare several systems. 
  156.      papers        Publications producted by the machine learning
  157.             research group.
  158.  
  159.    Funic Neural FTP Archive Site:
  160.       The Finnish University maintains an archive site containing a
  161.       large collection of neural network papers and public domain
  162.       software gathered from FTP sites in the US. The files are available
  163.       by annonymous ftp from funic.funet.fi:/pub/sci/neural. For
  164.       further information, contact magi@funic.funet.fi (or magi@utu.fi).
  165.  
  166.    OSU Neuroprose:
  167.       archive.cis.ohio-state.edu:/pub/neuroprose    (128.146.8.52)
  168.  
  169.       This directory contains technical reports as a public service to the
  170.       connectionist and neural network scientific community which has an
  171.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  172.  
  173.    NL Software Registry:
  174.  
  175.       The Natural Language Software Registry is a catalogue of software
  176.       implementing core natural language processing techniques, whether
  177.       available on a commercial or noncommercial basis. Some of the topics
  178.       listed include speech signal processing, morphological analysis,
  179.       parsers, and knowledge representation systems. The catalogue is
  180.       available by anonymous ftp to tira.uchicago.edu (IP 128.135.96.31), by
  181.       email to registry@tira.uchicago.edu, and by physical mail to NL
  182.       Software Registry, Center for Information and Language Studies, 1100
  183.       East 57th Street, Chicago, IL 60637.
  184.  
  185.  
  186. ----------------------------------------------------------------
  187. Subject: [3-2]  FTP and Other Resources
  188.  
  189. In addition to programs available free by anonymous ftp, we've
  190. included some programs which are available by contacting the authors,
  191. and some programs which charge a nominal fee.
  192.  
  193.    Artificial Life:
  194.  
  195.       Tierra is an artificial life system for studying the evolution of digital
  196.       organisms. Tierra runs in Unix and MS-DOS. Source code and documentation
  197.       is available by anonymous ftp at tierra.slhs.udel.edu (128.175.41.34) and
  198.       life.slhs.udel.edu (128.175.41.33) in the directories almond/, beagle/,
  199.       doc/, and tierra/.  To be added to either the tierra-announce (official
  200.       announcements only) or tierra-digest (moderated discussion plus
  201.       announcements) mailing lists, send mail to
  202.       tierra-request@life.slhs.udel.edu. Send bug reports to
  203.       tierra-bug@life.slhs.udel.edu.
  204.  
  205.    Blackboard Architectures:
  206.  
  207.     GBB (PD Version) -- dime.cs.umass.edu:/gbb
  208.  
  209.     GEST   -- Contact: Susan Coryell <scoryell@gtri01.gatech.edu>
  210.           Blackboard system. Runs on Symbolics and SUN.
  211.           Georgia Tech's Generic Expert System Tool (GEST)
  212.           Available to academic institutions for classroom use.
  213.             
  214.    Case-based Reasoning:
  215.  
  216.     CL-Protos   -- cs.utexas.edu:/pub/porter
  217.                Contact: Dan Dvorak <dvorak@cs.utexas.edu>
  218.                 Ray Bareiss <bareiss@ils.nwu.edu>
  219.                 Erik Eilerts <eilerts@cs.utexas.edu>
  220.                 Bruce W. Porter <porter@cs.utexas.edu>
  221.  
  222.     MICRO-xxx  -- Contact: waander@cs.umd.edu
  223.  
  224.    Chess:
  225.  
  226.       The SAN Kit chess programming C source toolkit provides common routines
  227.       for move notation I/O, move generation, move execution, etc. Only search
  228.       routines and an evaluation function need be added to obtain a working
  229.       chess program. It is available by anonymous ftp from
  230.       valkyries.andrew.cmu.edu [128.2.232.4] in the directory pub/chess/misc
  231.       as the compressed tar file san.tar.Z. Contact Steven J. Edwards,
  232.       sje@xylos.ma30.bull.com for more information.
  233.  
  234.    Expert Systems:
  235.  
  236.       FOCL   -- ics.uci.edu:pub/SaranWrap/{README,KR-FOCL-ES.cpt.hqx}
  237.         Contact: pazzani@ics.uci.edu
  238.         Expert System Shell and Machine Learning Program;
  239.         Extends Quinlan's FOIL.
  240.  
  241.       OPS5   -- ftp.cs.cmu.edu:/afs/cs/user/mkant/Public/Lisp/ops5.tar.Z
  242.  
  243.       BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
  244.         (BinHexed stuffit archive of Babylon)
  245.         Development environment for expert systems.
  246.  
  247.       CLIPS is an OPS-like forward chaining production system written in ANSI C
  248.       by NASA. The CLIPS inference engine includes truth maintenance, dynamic
  249.       rule addition, and customizable conflict resolution strategies. CLIPS,
  250.       including the runtime version, is easily embeddable in other
  251.       applications. CLIPS runs on IBM PC compatibles, Macintosh, VAX 11/780,
  252.       Sun 3/260, and HP9000/500.  CLIPS is available from COSMIC at a nominal
  253.       fee for unlimited copies with no royalties.  For more information, email
  254.       service@cossack.cosmic.uga.edu, write COSMIC, University of Georgia, 382
  255.       East Broad Street, Athens, GA 30602, call 404-542-3265, or fax
  256.       404-542-4807. To subscribe to the CLIPS mailing list, send a message to
  257.       the list server listserv@cossack.cosmic.uga.edu (128.192.14.4) with
  258.       message body SUBSCRIBE CLIPS-LIST. An electronic bulletin board
  259.       containing information regarding CLIPS can be reached 24 hours a day at
  260.       713-280-3896 or 713-280-3892. Communications information is 300, 1200, or
  261.       2400 baud, no parity, 8 data bits, and 1 stop bit. The CLIPS help desk
  262.       phone number is 713-280-2233 and email address is
  263.       stbprod@krakatoa.jsc.nasa.gov. The book "Expert Systems:
  264.       Principles and Programming" by Joseph Girrantano and Garey Riley
  265.       comes with an MS-DOS CLIPS interpreter.
  266.  
  267.    Frame Systems:
  268.  
  269.     FrameWork   -- ftp.cs.cmu.edu:
  270.                /afs/cs.cmu.edu/user/mkant/Public/Lisp/framework.lisp
  271.  
  272.     Theo        -- Contact: Tom.Mitchell@cs.cmu.edu
  273.  
  274.     FrameKit    -- Contact: Eric.Nyberg@cs.cmu.edu
  275.  
  276.     KR        -- Contact: Brad.Myers@cs.cmu.edu
  277.  
  278.     PARKA        -- Contact: spector@cs.umd.edu
  279.                Frames for the CM
  280.  
  281.     PARMENIDES (Frulekit) -- Contact: Peter.Shell@cs.cmu.edu 
  282.  
  283.     FROBS        -- cs.utah.edu:/pub/frobs.tar.Z
  284.                Contact: Robert Kessler <kessler@cs.utah.edu>
  285.  
  286.     PFC        -- linc.cis.upenn.edu:
  287.  
  288.     YAK        -- Contact: Enrico Franconi <franconi@irst.it>
  289.  
  290.    Fuzzy Logic:
  291.  
  292.       FLIE    -- ural.ethz.ch:/robo/flie
  293.          Contact: vestli@ifr.ethz.ch
  294.          Fuzzy Logic Inference Engine, Institute of Robotics, ETH.
  295.  
  296.    Game Playing:
  297.  
  298.       METAGAME is a game-playing workbench for developing and playing
  299.       metagame programs. It includes a generator for symmetric chess-like
  300.       games; definitions of chess, checkers, chinese chess, shogi, lose
  301.       chess, lose checkers, french checkers, and tic tac toe translated into
  302.       symmetric chess-like games; a legal move generator; and a variety of
  303.       player programs, from simple through sophisticated.  The METAGAME
  304.       Workbench runs in Quintus or Sictus Prolog.  Available by anonymous
  305.       ftp from ftp.cl.cam.ac.uk [128.232.0.56] in users/bdp/metagame.tar.Z.
  306.       For more information, contact Barney Pell <bdp@cl.cam.ac.uk> of the
  307.       University of Cambridge Computer Laboratory.
  308.  
  309.    ICOT:
  310.  
  311.       Japan's Institute for New Generation Computer Technology (ICOT) has
  312.       made their software available to the public free of charge.  The
  313.       collection includes a variety of prolog-based programs in symbol
  314.       processing, knowledge representation, reasoning and problem solving,
  315.       natural language processing. All programs are available by anonymous
  316.       ftp from ftp.icot.or.jp.    Note that most of the programs are written
  317.       for the PSI machines, and very few have been ported to Unix-based
  318.       emulators.  For further information, send email to ifs@icot.or.jp, or
  319.       write to ICOT Free Software Desk, Institute for New Generation
  320.       Computer Technology, 21st Floor, Mita Kokusai Bldg., 4-28, Mita
  321.       1-chome, Minato-ku, Tokyo 108, Japan, fax +81-3-4456-1618.
  322.  
  323.    Knowledge Representation:
  324.  
  325.       KNOWBEL -- ai.toronto.edu:/pub/kr/{knowbel.tar.Z,manual.txt.tar.Z}
  326.          Contact: Bryan M. Kramer, <kramer@ai.toronto.edu>
  327.          Telos temporal/sorted logic system.
  328.  
  329.       SB-ONE  -- Contact: kobsa@cs.uni-sb.de
  330.          KL-ONE family
  331.       KRIS    -- Contact: baader@dfki.uni-kl.de
  332.          KL-ONE family (Symbolics only)
  333.       BACK    -- Contact: peltason@tubvm.cs.tu-berlin.de
  334.          KL-ONE family
  335.       CLASSIC -- Contact: dlm@research.att.com
  336.          KL-ONE family
  337.       MOTEL   -- Contact: hustadt@mpi-sb.mpg.de
  338.          Modal KL-ONE (contains KRIS as a kernel). 
  339.          Implemented in Prolog.
  340.  
  341.       FOL GETFOL -- Contact: fausto@irst.it
  342.          Weyrauch's FOL system
  343.  
  344.       SNePS   -- Contact: shapiro@cs.buffalo.edu 
  345.          Semantic Nets
  346.  
  347.       COLAB/RELFUN  -- Contact: boley@informatik.uni-kl.de
  348.                Logic Programming
  349.       COLAB/FORWARD -- Contact: hinkelma@dfki.uni-kl.de
  350.                Logic Programming
  351.       COLAB/CONTAX  -- Contact: meyer@dfki.uni-kl.de
  352.                Constraint System for Weighted Constraints over
  353.                Hierarchically Structured Finite Domains.
  354.       COLAB/TAXON   -- Contact: hanschke@dfki.uni-kl.de
  355.                Terminological Knowl. Rep. w/Concrete Domains
  356.  
  357.    Machine Learning:
  358.  
  359.       COBWEB/3 -- Contact: cobweb@ptolemy.arc.nasa.gov
  360.  
  361.       FOIL     -- cluster.cs.su.oz.au [129.78.8.1] 
  362.               ~ftp/pub/foil4.sh contains source, a brief manual,
  363.                   and several sample datasets.
  364.  
  365.    Medical Reasoning:
  366.  
  367.       TMYCIN -- sumex-aix.stanford.edu:/tmycin    
  368.  
  369.    Natural Language Processing:
  370.  
  371.       YACC    -- ftp.cs.cmu.edu:
  372.            /afs/cs/user/mkant/Public/Lisp/johnson-yacc.lisp
  373.            Contact: Mark Johnson <mj@cs.brown.edu>
  374.            Lisp YACC/Parser.
  375.  
  376.       BABBLER    -- Contact: rsf1@ra.msstate.edu
  377.            Markov chains/NLP
  378.  
  379.       PENMAN    -- Contact: hovy@isi.edu
  380.            Natural Language Generation.
  381.  
  382.       PC-KIMMO    -- msdos.archive.umich.edu:/msdos/linguistics/pckim105.zip
  383.            An implementation of KIMMO morphological analyzer
  384.            for the IBM PC. 
  385.  
  386.       The Link Parser is a highly efficient English parser written by Danny
  387.       Sleator and Davy Temperley. It uses a novel grammatical formalism known
  388.       as Link Grammar to represent a robust and diverse collection of
  389.       English-language phenomena. The system is available by anonymous ftp from
  390.       spade.pc.cs.cmu.edu in the directory /usr/sleator/public/. Read the
  391.       README file for more information.
  392.       
  393.    Neural Networks:
  394.  
  395.       Aspirin/MIGRAINES is a neural network simulator available free from the
  396.       MITRE Corporation. It contains a neural network simulation code generator
  397.       which generates high performance C code implementations for
  398.       backpropagation networks. It runs on the following platforms: Apollo,
  399.       Convex, Cray, DecStation, HP, IBM RS/6000, Intel 486/386 (Unix System V),
  400.       NeXT, News, Silicon Graphics Iris, Sun3, Sun4, Mercury i860 (40MHz)
  401.       Coprocessors, Meiko Computing Surface w/i860 (40MHz) Nodes, Skystation
  402.       i860 (40MHz) Coprocessors, and iWarp Cells. The software is available by
  403.       anonymous ftp from the CMU simulator collection on pt.cs.cmu.edu
  404.       (128.2.254.155) in the directory /afs/cs/project/connect/code (you must
  405.       cd to this directory in one atomic operation) and UCLA's cognitive
  406.       science collection on ftp.cognet.ucla.edu (128.97.50.3) in the
  407.       directory alexis as the file am6.tar.Z. For more information, contact
  408.       Russell Leighton <leighton@mitre.org>.
  409.  
  410.       MUME (Multi-Module Neural Computing Environment) is a simulation
  411.       environment for multi-modules neural computing. It provides an object
  412.       oriented facility for the simulation and training of multiple nets
  413.       with various architectures and learning algorithms.  The object
  414.       oriented structure makes simple the addition of new network classes
  415.       and new learning algorithms. _ MUME includes a library of network
  416.       architectures including feedforward, simple recurrent, and
  417.       continuously running recurrent neural networks.  Each architecture is
  418.       supported by a variety of learning algorithms, including backprop,
  419.       weight perturbation, node perturbation, and simulated annealing.  MUME
  420.       can be used for large scale neural network simulations as it provides
  421.       support for learning in multi-net environments. It also provide pre-
  422.       and post-processing facilities.  MUME can be used to include
  423.       non-neural computing modules (decision trees, etc.) in applications. _
  424.       MUME is being developed at the Machine Intelligence Group at Sydney
  425.       University Electrical Engineering. The software is written in 'C' and
  426.       is being used on Sun and DEC workstations. Efforts are underway to
  427.       port it to the Fujitsu VP2200 vector processor using the VCC
  428.       vectorising C compiler. MUME is available to research institutions on
  429.       a media/doc/postage cost arrangement. For further information, write
  430.       to Marwan Jabri, SEDAL, Sydney University Electrical Engineering, NSW
  431.       2006 Australia, call +61-2-692-2240, fax +61-2-660-1228, or send email
  432.       to marwan@sedal.su.oz.au.
  433.  
  434.       Adaptive Logic Network (ALN)
  435.       Available by anonymous ftp from menaik.cs.ualberta.ca (129.128.4.241)
  436.       in pub/atree2.tar.Z. pub/atree2.zip is the MS-Windows/IBM PC version.
  437.       Documentation is in pub/atree2.ps.Z.  
  438.  
  439.       BPS
  440.       Neural network simulator. Other files of interest. Executables are
  441.       free; source code for a small fee.
  442.       gmuvax2.gmu.edu:/pub/nn
  443.  
  444.       CONDELA
  445.       A neural network definition language.
  446.       tut.cis.ohio-state.edu:/pub/condela
  447.  
  448.       XERION
  449.       A neural network simulator from Drew van Camp at the University
  450.       of Toronto. It provides a library of routines for building networks
  451.       and graphically displaying them. Written in C and uses the X window
  452.       system for graphics. Example simulators include Back Propagation,
  453.       Recurrent Back Propagation, Boltzmann Machine, Mean Field Theory, Free
  454.       Energy Manipulation, Kohonnen Net, and Hard and Soft Competitive
  455.       Learning. Xerion runs on SGI Personal Iris, SGI 4d, Sun3 (SunOS), Sun4
  456.       (SunOS). Available by anonymous ftp from ai.toronto.edu:/pub/xerion.
  457.       See the file /pub/xerion.README for more information. To be added to
  458.       the mailing list, send mail to xerion-request@ai.toronto.edu. Bugs
  459.       should be reported to xerion-bugs@ai.toronto.edu. Complaints,
  460.       suggestions or comments may be sent to xerion@ai.toronto.edu.
  461.  
  462.    Probabilistic Reasoning:
  463.  
  464.       BELIEF   -- ftp.stat.washington.edu (128.95.17.34)
  465.           Contact: Russell Almond <almond@stat.washington.edu>
  466.                       <almond@statsci.com>
  467.  
  468.       IDEAL    -- Contact: srinivas@rpal.rockwell.com
  469.           Bayesian networks
  470.  
  471.    Planning:
  472.  
  473.       NONLIN   -- cs.umd.edu:/pub/nonlin (128.8.128.8)
  474.           Contact: nonlin-users-request@cs.umd.edu
  475.                nonlin-bugs@cs.umd.edu
  476.  
  477.       ABTWEAK  -- csis.dit.csiro.au:pub/steve
  478.           Contact: Steven.Woods@csis.dit.csiro.au
  479.  
  480.       RHETORICAL -- cs.rochester.edu:/pub/knowledge-tools
  481.           Contact: Brad Miller <miller@cs.rochester.edu>
  482.  
  483.       SNLP     -- cs.washington.edu:/pub/snlp.tar.Z
  484.           Contact: weld@cs.washington.edu
  485.           Nonlinear planner.
  486.  
  487.       IDM      -- sauquoit.gsfc.nasa.gov (128.183.101.29)
  488.           Contact: idm-users@chelmsford.gsfc.nasa.gov
  489.           STRIPS-like planning.
  490.  
  491.       PRODIGY  -- Contact: prodigy@cs.cmu.edu
  492.           Integrated Planning and Learning System
  493.  
  494.       SOAR     -- ftp.cs.cmu.edu:/afs/cs.cmu.edu/project/soar/5.2/2/public/
  495.           Contact: soar-request@cs.cmu.edu
  496.           Integrated Agent Architecture
  497.  
  498.       MATS     -- Contact: kautz@research.att.com
  499.           Temporal constraints
  500.  
  501.    Qualitative Reasoning:
  502.  
  503.       QSIM     -- cs.utexas.edu:/pub/qsim
  504.           Contact: Ben Kuipers <kuipers@cs.utexas.edu>
  505.  
  506.    Robotics (Planning Testbeds):
  507.  
  508.       TILEWORLD -- cs.washington.edu:new-tileworld.tar.Z
  509.           Planning testbed
  510.  
  511.       The ARS MAGNA abstract robot simular provides an abstract world in
  512.       which a planner controls a mobile robot. This abstract world is more
  513.       realistic than typical blocks worlds, in which micro-world simplifying
  514.       assumptions do not hold. Experiments may be controlled by varying
  515.       global world parameters, such as perceptual noise, as well as building
  516.       specific environments in order to exercise particular planner
  517.       features. The world is also extensible to allow new experimental
  518.       designs that were not thought of originally. The simulator also
  519.       includes a simple graphical user-interface which uses the CLX
  520.       interface to the X window system. ARS MAGNA can be obtained by
  521.       anonymous ftp from ftp.cs.yale.edu, as ars-magna.tar.Z in the pub/nisp
  522.       directory. Installation instructions are in the file
  523.       Installation.readme. The simulator is written in Nisp, a macro-package
  524.       for Common Lisp. Nisp can be retrieved in the same way as the
  525.       simulator. Version 1.0 of the ARS MAGNA simulator is documented in
  526.       Yale Technical Report YALEU/DCS/RR #928, "ARS MAGNA: The Abstract
  527.       Robot Simulator". This report is available in the distribution as a
  528.       PostScript file. Comments should be directed to Sean Philip
  529.       Engelson <engelson@cs.yale.edu>.
  530.  
  531.    Theorem Proving/Automated Reasoning:
  532.  
  533.       Otter        -- info.mcs.anl.gov:pub/Otter/Otter-2.2/otter22.tar.Z
  534.  
  535.       Isabelle -- ftp.cl.cam.ac.uk:ml/ [128.232.0.56]
  536.                   ftp.informatik.tu-muenchen.de:lehrstuhl/nipkow/
  537.                      [131.159.0.110] 
  538.                   Relevant files include:
  539.                     intro.dvi.Z   "Introduction to Isabelle"
  540.                     ref.dvi.Z     "The Isabelle Reference Manual"
  541.                     logics.dvi.Z  "Isabelle's Object-Logics"
  542.                     92.tar.Z      Isabelle-92 distribution directory
  543.                   Contact: Larry.Paulson@cl.cam.ac.uk
  544.                            Tobias.Nipkow@informatik.tu-muenchen.de
  545.  
  546.       MVL      -- t.stanford.edu:/mvl/mvl.tar.Z
  547.           Contact: ginsberg@t.stanford.edu
  548.           Multi-valued logics
  549.  
  550.       Boyer-Moore -- cli.com:pub/nqthm/nqthm.tar.Z
  551.              rascal.ics.utexas.edu:/pub/nqthm    128.83.138.20
  552.              Contact: kaufman@cli.com
  553.  
  554. Miscellaneous:
  555.  
  556.    University of Toronto:
  557.       ftp   -- ftp.cs.toronto.edu:/pub/ailist
  558.  
  559.       Archives of ailist mailing list, defunct as of January 19, 1990
  560.  
  561.    PAIL (Portable AI Lab)
  562.       ftp   -- pobox.cscs.ch:/pub/ai/pail-2.1/  [148.187.10.13]
  563.       contact: Mike Rosner and Dean Allemang {dean,mike}@idsia.ch
  564.  
  565. The Artificial Intelligence CD-ROM (Volume One, 1992) is available
  566. from Network Cybernetics Corporation for $129.00 per copy (plus $5
  567. shipping domestic, $10 shipping international). (Network Cybernetics
  568. Corporation is offering the disc to everyone in the Usenet and Fidonet
  569. realm for a special, discounted price of $59.00 per disc. You must
  570. have a valid Internet or Fidonet address and the order must be prepaid
  571. to qualify. This special offer will be discontinued on January 1,
  572. 1993.)  The AI CD-ROM is an ISO-9660 format disk usable on any
  573. computer system, and contain a variety of public domain, shareware,
  574. and other software of special interest to the AI community. The disk
  575. contains source code, executable programs, demonstration versions of
  576. commercial programs, tutorials and other files for a variety of
  577. operating systems. Among the supported operating systems are MS-DOS,
  578. OS/2, Mac, Amiga, and Unix. Among the items included are CLIPS v5.1
  579. and NETS, courtesy of COSMIC, the collected source code from AIExpert
  580. magazine from the premier issue in June of 1986 to the present, and
  581. complete transcriptions of the first annual Loebner Prize competition,
  582. which took place at the Boston Computer Museum. It also includes
  583. examples many different kinds of neural networks, genetic algorithms,
  584. artificial life simulators, natural language software, public domain
  585. and shareware compilers for a wide range of languages such as Lisp,
  586. Xlisp, Scheme, XScheme, Smalltalk, Prolog, ICON, SNOBOL, and many
  587. others.     Complete collections of the Neural Digest, Genetic Algorithms
  588. Digest, and Vision List Digest are included. Network Cybernetics
  589. Corporation intends to release annual revisions to the AI CD-ROM to
  590. keep it up to date with current developments in the field. For more
  591. information, write to Network Cybernetics Corporation, 4201 Wingren
  592. Road, Suite 202, Irving, Texas 75062-2763, call 214-650-2002, fax
  593. 214-650-1929, or send email to ai-cdrom@ncc.com or
  594. steve.rainwater@ncc.com (Steve Rainwater).
  595.  
  596. ----------------------------------------------------------------
  597. Subject: [3-3]  AI Bibliographies available by FTP
  598.  
  599. The Computer Science Department at the University of Saarbruecken, Germany,
  600. maintains a large bibliographic database of articles pertaining to the
  601. field of Artificial Intelligence. Currently the database contains more
  602. than 25,000 references, which can be retrieved by electronic mail from
  603. the LIDO mailserver at lido@cs.uni-sb.de. Send a mail message with
  604. subject line "lidosearch help info" to get instructions on using the
  605. mail server. A variety of queries based on author names, title and
  606. year of publication are possible. The references can be provided in
  607. BibTeX or Refer formats. The entire bibliographic database can be
  608. obtained for a fee by ftp or on tape. Questions may be directed to
  609. bib-1@cs.uni-sb.de.
  610.  
  611. A variety of AI-related bibliographies are located on nexus.yorku.ca
  612. in the directory /pub/bibliographies.
  613.  
  614. For information on a fairly complete bibliography of computational
  615. linguistics and natural language processing work from the 1980s, send
  616. mail to clbib@csli.stanford.edu with the subject HELP. 
  617.  
  618. Stanford University (SUMEX-AIM) has a large BibTeX bibliography of
  619. Artificial Intelligence papers and technical reports. Available by
  620. anonymous ftp from aim.stanford.edu:/pub/ai{1,2,3}.bib
  621.      
  622. A BibTeX database of references addressing neuro-fuzzy issues can be
  623. obtained by anonymous ftp from ftp.tu-bs.de (134.169.34.15) in the
  624. directory local/papers as the (ascii) file fuzzy-nn.bib.
  625.  
  626. ----------------------------------------------------------------
  627. Subject: [3-4] Technical Reports available by FTP
  628.  
  629. This section lists the anonymous ftp sites for technical reports from
  630. several universities and other organizations. Some of the sites
  631. provide only an online catalog of technical reports, while the rest
  632. make the actual reports available online. The email address listed is
  633. that of the appropriate person to contact with questions about
  634. ordering technical reports. 
  635.  
  636. When ftping compressed .Z files, remember to set the transfer type to
  637. binary first, using the command
  638.     ftp> binary
  639.  
  640. Another general location for technical reports from several
  641. universities is available as wuarchive.wustl.edu:/doc/techreports/.
  642.  
  643. The newsgroup comp.doc.techreports is devoted to distributing lists of
  644. tech reports and their abstracts.
  645.  
  646.    MIT Artificial Intelligence Laboratory:
  647.       ftp   -- ftp.ai.mit.edu:pub/publications/
  648.       email -- publications@ai.mit.edu
  649.  
  650.       A full catalog of MIT AI Lab technical reports (and a listing of recent
  651.       updates) may be obtained from the above location, by writing to
  652.       Publications, Room NE43-818, M.I.T. Artificial Intelligence Laboratory,
  653.       545 Technology Square, Cambridge, MA 02139, USA, or by calling
  654.       1-617-253-6773. The catalog lists the technical reports ("AI Memos") 
  655.       with a short abstract and their current prices. There is also a charge
  656.       for shipping.
  657.  
  658.       The only technical report currently available online is Sandiway
  659.       Fong's 1991 PhD thesis, ``The Computational Properties of
  660.       Principle-Based Grammatical Theories,'' which may be found in the
  661.       directory pub/sandiway/.
  662.  
  663.    CMU School of Computer Science:
  664.       ftp   -- reports.adm.cs.cmu.edu
  665.       email -- Technical.Reports@cs.cmu.edu
  666.  
  667.    CMU Software Engineering Institute:
  668.       ftp   --    ftp.sei.cmu.edu:/pub/documents
  669.       email --    bjz@sei.cmu.edu
  670.  
  671.    Yale: 
  672.       ftp   --    dept.cs.yale.edu:/pub/TR/
  673.  
  674.    University of Washington CSE Tech Reports:
  675.       ftp   --    june.cs.washington.edu:/tr  
  676.       email --    tr-request@cs.washington.edu
  677.  
  678.    ================
  679.  
  680.    AT&T Bell Laboratories:
  681.       ftp   -- research.att.com:/netlib/research/cstr
  682.  
  683.       bib.Z contains short bibliography, including all the technical
  684.       reports contained in this directory.
  685.  
  686.       ftp   -- research.att.com:/dist/ai
  687.  
  688.    Boston University:
  689.       ftp   --    cs.bu.edu:techreports/
  690.       email --    techreports@cs.bu.edu
  691.  
  692.    Brown University:
  693.       ftp   --    wilma.cs.brown.edu:techreports/
  694.       email --    techreports@cs.brown.edu
  695.  
  696.    Columbia University:
  697.       ftp   --    cs.columbia.edu:/pub/reports
  698.       email --    tech-reports@cs.columbia.edu
  699.  
  700.    DEC Cambridge Research Lab:
  701.       ftp   --    crl.dec.com:/pub/DEC/CRL/{abstracts,tech-reports}
  702.  
  703.    DFKI:
  704.       ftp   -- duck.dfki.uni-sb.de:/pub/papers
  705.       email -- Martin Henz (henz@dfki.uni-sb.de)
  706.  
  707.    Duke University:
  708.       ftp   --    cs.duke.edu:/dist/{papers,theses}
  709.       email --    techreport@cs.duke.edu
  710.  
  711.    Edinburgh:
  712.       A list of available reports can be sent via email. Send requests
  713.       for information about reports from the Center for Cognitive Science 
  714.       to cogsci%ed.ac.uk@nsfnet-relay.ac.uk, and from the Human Communication 
  715.       Research Center to HCRC%ed.ac.uk@nsfnet-relay.ac.uk. 
  716.  
  717.    Georgia Tech College of Computing, AI Group:
  718.       ftp   -- ftp.cc.gatech.edu:pub/ai (130.207.3.245) 
  719.       email -- Professor Ashwin Ram <ashwin@cc.gatech.edu>
  720.  
  721.    Illinois:
  722.       email -- Erna Amerman <erna@uiuc.edu>
  723.  
  724.    Indiana:
  725.       ftp   -- cogsci.indiana.edu:pub         [129.79.238.12]
  726.       ftp   -- cs.indiana.edu:pub/techreports [129.79.254.191]
  727.  
  728.    Institute for Learning Sciences at Northwestern University:
  729.       ftp   --    ftp.ils.nwu.edu:/pub/papers/
  730.  
  731.    New York University (NYU):
  732.       ftp   --    cs.nyu.edu:/pub/tech-reports
  733.  
  734.    OGI:
  735.       ftp   --    cse.ogi.edu:/pub/tech-reports
  736.       email --    csedept@cse.ogi.edu
  737.  
  738.    Ohio State University, Laboratory for AI Research
  739.       ftp   -- nervous.cis.ohio-state.edu:/pub/papers
  740.       email -- lair-librarian@cis.ohio-state.edu
  741.  
  742.    OSU Neuroprose:
  743.       ftp   -- archive.cis.ohio-state.edu:/pub/neuroprose  (128.146.8.52)
  744.  
  745.       This directory contains technical reports as a public service to the
  746.       connectionist and neural network scientific community which has an
  747.       organized mailing list (for info: connectionists-request@cs.cmu.edu)
  748.  
  749.    Stanford:
  750.       ftp   -- elib.stanford.edu:/cs
  751.    
  752.       Very spotty collection.
  753.  
  754.    SUNY at Stony Brook:
  755.       ftp   -- sbcs.sunysb.edu:/pub/TechReports
  756.       email -- rick@cs.sunysb.edu or stark@cs.sunysb.edu
  757.  
  758.       The /pub/sunysb directory contains the SB-Prolog implementation
  759.       of the Prolog language. Contact warren@sbcs.sunysb.edu for more
  760.       information.
  761.  
  762.    Thinking Machines:
  763.       ftp   -- ftp.think.com:think/techreport.list
  764.  
  765.       This file contains a list of Thinking Machines technical reports.
  766.       Orders may be placed by email (limit 5) to t-rex@think.com, or by US
  767.       Mail to Thinking Machines Corporation, Attn: Technical reports, 245
  768.       First Street, Cambridge, MA 01241. In addition, the directories
  769.       cm/starlisp and cm/starlogo contain code for the *Lisp and *Logo
  770.       simulators. 
  771.  
  772.    University of Arizona:
  773.       ftp   -- cs.arizona.edu:reports/
  774.       email -- tr_libr@cs.arizona.edu
  775.  
  776.       The directory /japan/kahaner.reports contains reports on AI in
  777.       Japan, among other things.
  778.  
  779.    University of California/Santa Cruz:
  780.       ftp   -- ftp.cse.ucsc.edu:/pub/{bib,tr}
  781.       email -- jean@cs.ucsc.edu
  782.  
  783.    University of Colorado:
  784.       ftp   --    ftp.cs.colorado.edu:/pub/cs/techreports
  785.  
  786.    University of Florida:
  787.       ftp   -- bikini.cis.ufl.edu:/cis/tech-reports
  788.  
  789.    University of Illinois at Urbana:
  790.       ftp   -- a.cs.uiuc.edu:/pub/dcs
  791.       email -- erna@a.cs.uiuc.edu
  792.  
  793.    University of Indiana, Center for Research on Concepts and Cognition:
  794.       ftp   --    cogsci.indiana.edu:pub/
  795.       email --    helga@cogsci.indiana.edu
  796.  
  797.    University of Kentucky:
  798.       ftp   --    ftp.ms.uky.edu:ftp/pub/tech-reports/UK/cs/
  799.  
  800.    University of Massachusetts at Amherst:
  801.       email --    techrept@cs.umass.edu
  802.  
  803.    University of Michigan:
  804.       ftp   -- z.eecs.umich.edu:/techreports
  805.     
  806.    University of North Carolina:
  807.       ftp   -- ftp.cs.unc.edu:/pub/technical-reports/
  808.  
  809.    University of Pennsylvania:
  810.       email -- publications@upenn.edu
  811.  
  812.    USC/Information Sciences Institute:
  813.       email -- Sheila Coyazo <scoyazo@isi.edu> is the contact.
  814.  
  815.    University of Toronto:
  816.       ftp   -- ftp.cs.toronto.edu:/pub/reports
  817.       email -- tech-reports@cs.toronto.edu
  818.  
  819.    University of Virginia:
  820.       ftp   -- uvacs.cs.virginia.edu:/pub/techreports/cs
  821.  
  822.    University of Wisconsin:
  823.       ftp   -- ftp.cs.wisc.edu:/tech-reports
  824.       email -- tech-reports-archive@cs.wisc.edu
  825.  
  826.  
  827. Some AI authors have set up repositories of their own papers:
  828.  
  829.    Matthew Ginsberg: t.stanford.edu:/u/ftp/papers
  830.  
  831. ----------------------------------------------------------------
  832.  
  833. ;;; *EOF*
  834.